(Axiome, Assertion)
Premier théorème d'incomplétude de Gödel :
"n'importe quelle théorie axiomatique comporte des énoncés logiques qui ne peuvent être ni prouvés vrais ni réfutés dans cette théorie"
Premier théorème d'incomplétude de Gödel :
Les axiomes d'une théorie n'arriveront jamais à la décrire complètement
Premier théorème d'incomplétude de Gödel :
Il est toujours possibled'augmenter le nombre d'axiomes d'une théorie
Second théorème d'incomplétude de Gödel :
"il est uniquement possible de prouver qu'un ensemble d'axiomes est incohérent, pas que les axiomes sont cohérents"
(Ensemble d'axiomes cohérent)
Second théorème d'incomplétude de Gödel :
On ne peut jamais être sûrqu'un ensemble d'axiomes ne renferme pas une contradiction cachée
